\begin{table}
\centering
\fontsize{9}{11}\selectfont
\begin{tabular*}{\linewidth}{@{\extracolsep{\fill}}lllllllc}\\\hlx{hv}
\multicolumn{1}{c}{\multirow{2}{*}{Benchmark}} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & Min\\
& \multicolumn{1}{c}{of first} & \multicolumn{1}{c}{to first} & \multicolumn{1}{c}{for first} & \multicolumn{1}{c}{of min} & \multicolumn{1}{c}{to min} & \multicolumn{1}{c}{for min} & first?\\\hlx{hv}
icfp\_103\_10 & 33 & 12.1 & 7 & 26 & 427.4 & 5 & $\times$\\
icfp\_104\_10 & 17 & 1.1 & 5 & 17 & 30.9 & 5 & $\times$\\
icfp\_105\_1000 & 15 & 35.9 & 5 & 11 & 134.9 & 3 & $\times$\\
icfp\_105\_100 & 16 & 3.1 & 5 & 12 & 9.1 & 3 & $\times$\\
icfp\_113\_1000 & 11 & 53.6 & 3 & 11 & 53.6 & 3 & $\checkmark$\\\hlx{h}
icfp\_114\_100 & 20 & 241.6 & 5 & 21 & 793.1 & 5 & $\times$\\
icfp\_118\_100 & 31 & 18.1 & 7 & 16 & 135.8 & 3 & $\times$\\
icfp\_118\_10 & 32 & 4.1 & 7 & 15 & 9.1 & 3 & $\times$\\
icfp\_125\_10 & 57 & 8.8 & 13 & 14 & 437.3 & 3 & $\times$\\
icfp\_134\_1000 & 33 & 1441.1 & 7 & 27 & 2437.4 & 5 & $\times$\\\hlx{h}
icfp\_135\_100 & 13 & 54.0 & 3 & 13 & 54.0 & 3 & $\checkmark$\\
icfp\_139\_10 & 10 & 1.3 & 3 & 10 & 1.3 & 3 & $\checkmark$\\
icfp\_14\_1000 & -- & TO & -- & -- & TO & -- & -- \\
icfp\_143\_1000 & 16 & 1412.5 & 3 & 16 & 1412.5 & 3 & $\checkmark$\\
icfp\_144\_1000 & 24 & 1376.8 & 5 & 24 & 1376.8 & 5 & $\checkmark$\\\hlx{h}
icfp\_144\_100 & 36 & 763.5 & 7 & 26 & 2810.3 & 5 & $\times$\\
icfp\_147\_1000 & 12 & 1114.3 & 3 & 12 & 1114.3 & 3 & $\checkmark$\\
icfp\_150\_10 & 51 & 1.7 & 11 & 24 & 9.3 & 5 & $\times$\\
icfp\_21\_1000 & 21 & 512.6 & 5 & 20 & 1099.5 & 5 & $\times$\\
icfp\_25\_1000 & 22 & 151.6 & 5 & 15 & 1571.4 & 3 & $\times$\\\hlx{h}
icfp\_28\_10 & 2 & 0.04 & 0 & 2 & 0.04 & 0 & $\checkmark$\\
icfp\_30\_10 & 14 & 14.4 & 3 & 14 & 14.4 & 3 & $\checkmark$\\
icfp\_32\_10 & 14 & 9.1 & 3 & 14 & 9.1 & 3 & $\checkmark$\\
icfp\_38\_10 & 21 & 5.9 & 5 & 14 & 54.1 & 3 & $\times$\\
icfp\_39\_100 & 12 & 15.8 & 3 & 12 & 15.8 & 3 & $\checkmark$\\\hlx{h}
\end{tabular*}
\vspace*{1mm}
\caption{Results on the ICFP benchmark suite. All times are in seconds.}
\label{table:anytime_results_1}
\end{table}
